CBMC_GC_FLAGS += --arith mmul --arith convolution --bool relu --arith mul --bool max_pooling_2 --merge
GCC_FLAGS = -O0  # with -O2 compilation takes really long
include ../make_tester.inc
